The Module Isomorphism Problem Reconsidered
نویسندگان
چکیده
Algorithms to decide isomorphism of modules have been honed continually over the last 30 years, and their range of applicability has been extended to include modules over a wide range of rings. Highly efficient computer implementations of these algorithms form the bedrock of systems such as GAP and Magma, at least in regard to computations with groups and algebras. By contrast, the fundamental problem of testing for isomorphism between other types of algebraic structures – such as groups, and almost any type of algebra – seems today as intractable as ever. What explains the vastly different complexity status of the module isomorphism problem? This paper argues that the apparent discrepancy is explained by nomenclature. Current algorithms to solve module isomorphism, while efficient and immensely useful, are actually solving a highly constrained version of the problem. We report that module isomorphism in its general form is as hard as algebra isomorphism and graph isomorphism, both well-studied problems that are widely regarded as difficult. On a more positive note, for cyclic rings we describe a polynomial-time algorithm for the general module isomorphism problem. We also report on a Magma implementation of our algorithm.
منابع مشابه
Reversibility of a module with respect to the bifunctors Hom and Rej
Let $M_R$ be a non-zero module and ${mathcal F}: sigma[M_R]times sigma[M_R] rightarrow$ Mod-$Bbb{Z}$ a bifunctor. The $mathcal{F}$-reversibility of $M$ is defined by ${mathcal F}(X,Y)=0 Rightarrow {mathcal F}(Y,X)=0$ for all non-zero $X,Y$ in $sigma[M_R]$. Hom (resp. Rej)-reversibility of $M$ is characterized in different ways. Among other things, it is shown th...
متن کاملThe Sum Graph of Non-essential Submodules
Throughout this paper, R will denote a commutative ring with identity and M is a unitary R- module and Z will denote the ring of integers. We introduce the graph Ω(M) of module M with the set of vertices contain all nontrivial non-essential submodules of M. We investigate the interplay between graph-theoretic properties of Ω(M) and algebraic properties of M. Also, we assign the values of natura...
متن کاملLinear Maps Preserving Invertibility or Spectral Radius on Some $C^{*}$-algebras
Let $A$ be a unital $C^{*}$-algebra which has a faithful state. If $varphi:Arightarrow A$ is a unital linear map which is bijective and invertibility preserving or surjective and spectral radius preserving, then $varphi$ is a Jordan isomorphism. Also, we discuss other types of linear preserver maps on $A$.
متن کامل$G$-Weights and $p$-Local Rank
Let $k$ be field of characteristic $p$, andlet $G$ be any finite group with splitting field $k$. Assume that $B$ is a $p$-block of $G$.In this paper, we introduce the notion of radical $B$-chain $C_{B}$, and we show that the $p$-local rank of $B$ is equals the length of $C_{B}$. Moreover, we prove that the vertex of a simple $kG$-module $S$ is radical if and only if it has the same vertex of th...
متن کامل